<?hh

/*
   +-------------------------------------------------------------+
   | Copyright (c) 2014 Facebook, Inc. (http://www.facebook.com) |
   +-------------------------------------------------------------+
*/

function include_file() {
   error_reporting(-1);

   echo "Inside includefile.php\n";

   var_dump(__FILE__);
   var_dump(__DIR__);
}
